Multi-Event Modeling and Recognition Using Extended Petri Nets
نویسندگان
چکیده
منابع مشابه
Modeling and Simulation of Discrete Event Robotic Systems Using Extended Petri Nets
This chapter deals with modeling, simulation, and implementation problems encountered in robotic manufacturing control systems. Extended Petri nets are adopted as a prototyping tool for expressing real-time control of robotic systems and a systematic method based on hierarchical Petri nets is described for their direct implementation. A coordination mechanism is introduced to coordinate the eve...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملPetri nets in conceptual modeling ( extended abstract )
Petri nets were proposed as a formal tool for modeling system behavior at the conceptual schema level by several authors. The paper describes and discusses some typical approaches. In the discussion, two aspects are considered: (1) the fulfillment of the requirements to a conceptual schema modeling approach and (2) the integration of static and dynamic properties.
متن کاملModeling Activity Diagrams with Extended Petri Nets
To enhance trustworthiness, UML (unified modeling language) activity diagrams are transformed into Petri nets for verification and analysis. Data concerned Petri net (DCPN) is proposed for activity diagrams’ modeling. Mapping rules for transforming elements in an activity diagram into DCPNs are proposed in both graphical and formal forms. Weaving method is used to compose DCPNs. This paper prov...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.2975095